Some Thoughts on the Role of Examples in Program Transformation and its Relevance for Explanation-based Learning
نویسندگان
چکیده
Explanation-based learning is using the same technique as partial evaluation, namely unfolding. However, it brings a new insight: an example can be used to guide the transformation process. In this paper, we further explore this insight and show how examples can be used to guide other kinds of program transformation, guiding not only the unfolding, but also the introduction of new predicates and the folding. On the other hand, we illustrate the more fundamental restructuring which is possible with program transformation and the relevance of completeness results to eliminate computationalty inefficient knowledge.
منابع مشابه
Digital Competencies Of Teachers In The Transformation Of The Educational Environment
The purpose of this study is to determine the main directions of development of digital competencies of teachers to ensure a quality educational process in the transformation of the educational environment. The relevance of this study is due to the need to determine the main directions of development of the education system for adaptation in the context of digitalization of society. It is estab...
متن کاملExplanation of the Viewpoint of Dental Students Towards the Study Guide of the Oral Medicine Course
Background and aim: Study guide is a tool for establishing the student-centered learning process. It is an assortment for directing the student in the management of his learning by foreseeing educational obligations, aims and contents. Considering the important role of study guides in students' learning process, the aim of the present study was to explain the point of view of dental students to...
متن کاملAvicenna on the Angelological Relevance of Mystical Experience
Avicenna is a renowned peripatetic philosopher whose rationality continuously draws the attention of many scholars. In many of his works, he resorts to the hierarchy of intellects (angels) to explain the process of the emanation of the multiplicity from the One, as well as the emergence of beings. As these intellects are among the ontological causes of the human soul in the arc of descent, they...
متن کاملExplanation of academic vitality and motivation of students based on their perception of the learning environment in Birjand University of Medical Sciences
Introduction: Learning environment has an important role in the process of teaching and learning. The purpose of this study was to examine the effects of students’ perception of the learning environment on their academic vitality and motivation in Birjand University of Medical Sciences in 2014-15 academic years. Methods: This paper is a descriptive correlational research. The statistical popula...
متن کاملوزن دهی و اولویتبندی عوامل و نشانگرهای ارزشیابی برنامه درسی علوم تجربی دوره ابتدایی
Hierarchical analysis is one of the prioritization methods of phenomena. This method provides comparison and use of expert people. In this research, the men-tioned method was applied in order to weight and prioritize valuation factors and indicators for applied science in primary school. The methodology of this research is descriptive survey. The statistical population is all experts (education...
متن کامل